what is the square root of 20